[tail] [up]

2.2.1 Integrals 1 to 62

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 83 86 77 75 0 108 -1

N.S.

1 1.00 0.70 0.72 0.65 0.63 0.00 0.91 -0.01

time (sec)

N/A 0.051 0.175 0.079 0.534 0.388 0.000 0.598 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 71 73 60 62 0 84 -1

N.S.

1 1.00 0.80 0.82 0.67 0.70 0.00 0.94 -0.01

time (sec)

N/A 0.033 0.085 0.089 0.564 0.351 0.000 0.470 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 55 58 38 44 0 55 -1

N.S.

1 1.00 0.93 0.98 0.64 0.75 0.00 0.93 -0.02

time (sec)

N/A 0.020 0.050 0.075 0.541 0.361 0.000 0.467 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 29 43 20 32 0 30 33

N.S.

1 1.00 1.12 1.65 0.77 1.23 0.00 1.15 1.27

time (sec)

N/A 0.009 0.020 0.000 0.529 0.376 0.000 0.491 0.002

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 40 54 90 126 0 93 45

N.S.

1 1.00 0.87 1.17 1.96 2.74 0.00 2.02 0.98

time (sec)

N/A 0.015 0.012 0.027 0.545 0.379 0.000 0.491 0.002

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 63 138 15721 153 0 112 -1

N.S.

1 1.00 0.82 1.79 204.17 1.99 0.00 1.45 -0.01

time (sec)

N/A 0.030 0.060 0.088 1.159 0.366 0.000 0.472 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 65 174 84332 188 0 129 -1

N.S.

1 1.00 0.61 1.63 788.15 1.76 0.00 1.21 -0.01

time (sec)

N/A 0.043 0.131 0.098 23.976 0.386 0.000 0.506 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 69 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.026 0.071 0.043 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 69 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.051 0.042 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 69 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.048 0.041 0.000 0.000 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 67 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.041 0.040 0.000 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 67 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.023 0.040 0.040 0.000 0.000 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 69 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.048 0.041 0.000 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 74 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.026 0.050 0.059 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.059 0.062 0.000 0.000 0.000 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 77 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.066 0.050 0.000 0.000 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 74 0 0 0 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.013 0.057 0.051 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 20 18 24 26 41 30 38

N.S.

1 1.00 0.65 0.58 0.77 0.84 1.32 0.97 1.23

time (sec)

N/A 0.010 0.020 0.058 0.539 0.363 0.340 0.466 0.428

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 43 46 68 59 187 59 67

N.S.

1 1.00 0.77 0.82 1.21 1.05 3.34 1.05 1.20

time (sec)

N/A 0.025 0.067 0.065 0.486 0.364 0.856 0.433 0.326

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 56 62 111 90 359 75 96

N.S.

1 1.00 0.69 0.77 1.37 1.11 4.43 0.93 1.19

time (sec)

N/A 0.042 0.139 0.079 0.550 0.387 1.562 0.511 0.385

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 66 75 151 121 592 88 96

N.S.

1 1.00 0.62 0.71 1.42 1.14 5.58 0.83 0.91

time (sec)

N/A 0.063 0.186 0.095 0.488 0.410 3.259 0.427 0.515

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 20 18 24 26 41 30 38

N.S.

1 1.00 0.61 0.55 0.73 0.79 1.24 0.91 1.15

time (sec)

N/A 0.009 0.021 0.054 0.503 0.378 0.338 0.426 0.294

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 43 46 69 59 192 61 67

N.S.

1 1.00 0.74 0.79 1.19 1.02 3.31 1.05 1.16

time (sec)

N/A 0.024 0.057 0.072 0.498 0.369 0.706 0.440 0.309

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 65 64 112 90 364 77 95

N.S.

1 1.00 0.78 0.77 1.35 1.08 4.39 0.93 1.14

time (sec)

N/A 0.042 0.098 0.079 0.513 0.358 1.443 0.452 0.373

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 66 77 152 121 597 90 97

N.S.

1 1.00 0.61 0.71 1.41 1.12 5.53 0.83 0.90

time (sec)

N/A 0.066 0.150 0.098 0.491 0.369 3.167 0.486 0.491

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 20 18 24 26 42 30 38

N.S.

1 1.00 0.61 0.55 0.73 0.79 1.27 0.91 1.15

time (sec)

N/A 0.009 0.019 0.050 0.499 0.364 0.326 0.425 0.254

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 43 46 69 59 192 61 67

N.S.

1 1.00 0.74 0.79 1.19 1.02 3.31 1.05 1.16

time (sec)

N/A 0.021 0.019 0.060 0.483 0.363 0.733 0.468 0.002

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 65 64 112 90 366 77 96

N.S.

1 1.00 0.78 0.77 1.35 1.08 4.41 0.93 1.16

time (sec)

N/A 0.041 0.071 0.078 0.510 0.364 1.468 0.437 0.359

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 66 77 152 121 597 90 97

N.S.

1 1.00 0.61 0.71 1.41 1.12 5.53 0.83 0.90

time (sec)

N/A 0.063 0.020 0.088 0.494 0.391 3.128 0.446 0.002

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 20 18 24 26 44 30 38

N.S.

1 1.00 0.65 0.58 0.77 0.84 1.42 0.97 1.23

time (sec)

N/A 0.009 0.019 0.050 0.483 0.377 0.343 0.427 0.255

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 43 46 68 59 190 59 67

N.S.

1 1.00 0.77 0.82 1.21 1.05 3.39 1.05 1.20

time (sec)

N/A 0.020 0.018 0.063 0.488 0.352 0.880 0.440 0.002

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 65 62 111 90 362 75 95

N.S.

1 1.00 0.80 0.77 1.37 1.11 4.47 0.93 1.17

time (sec)

N/A 0.041 0.073 0.076 0.589 0.380 1.555 0.440 0.358

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 66 75 151 121 595 88 96

N.S.

1 1.00 0.62 0.71 1.42 1.14 5.61 0.83 0.91

time (sec)

N/A 0.063 0.020 0.090 0.501 0.359 3.281 0.442 0.002

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 65 34 48 46 41 34 17

N.S.

1 1.00 1.00 0.52 0.74 0.71 0.63 0.52 0.26

time (sec)

N/A 0.013 0.019 0.051 0.279 0.354 0.325 0.409 0.361

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 143 64 91 88 228 62 47

N.S.

1 1.00 1.59 0.71 1.01 0.98 2.53 0.69 0.52

time (sec)

N/A 0.029 0.060 0.065 0.284 0.376 0.667 0.461 0.320

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 217 94 135 129 474 78 76

N.S.

1 1.00 1.89 0.82 1.17 1.12 4.12 0.68 0.66

time (sec)

N/A 0.051 0.133 0.078 0.288 0.364 1.243 0.541 0.674

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 296 124 174 170 813 91 102

N.S.

1 1.00 2.11 0.89 1.24 1.21 5.81 0.65 0.73

time (sec)

N/A 0.078 0.199 0.096 0.299 0.381 2.757 0.501 1.969

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 63 38 50 46 44 38 17

N.S.

1 1.00 1.00 0.60 0.79 0.73 0.70 0.60 0.27

time (sec)

N/A 0.013 0.019 0.051 0.283 0.377 0.355 0.442 0.332

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 139 72 94 88 240 68 47

N.S.

1 1.00 1.58 0.82 1.07 1.00 2.73 0.77 0.53

time (sec)

N/A 0.028 0.057 0.069 0.304 0.373 0.696 0.522 0.343

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 211 106 137 129 490 84 76

N.S.

1 1.00 1.87 0.94 1.21 1.14 4.34 0.74 0.67

time (sec)

N/A 0.051 0.101 0.078 0.295 0.406 1.264 0.457 0.673

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 288 140 177 170 831 97 102

N.S.

1 1.00 2.09 1.01 1.28 1.23 6.02 0.70 0.74

time (sec)

N/A 0.076 0.160 0.098 0.278 0.374 2.736 0.430 2.013

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 63 38 50 46 44 38 17

N.S.

1 1.00 1.00 0.60 0.79 0.73 0.70 0.60 0.27

time (sec)

N/A 0.013 0.016 0.049 0.284 0.372 0.333 0.491 0.261

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 139 72 94 88 240 68 47

N.S.

1 1.00 1.58 0.82 1.07 1.00 2.73 0.77 0.53

time (sec)

N/A 0.027 0.017 0.060 0.270 0.382 0.687 0.448 0.002

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 211 106 137 129 490 84 75

N.S.

1 1.00 1.87 0.94 1.21 1.14 4.34 0.74 0.66

time (sec)

N/A 0.051 0.089 0.076 0.273 0.385 1.272 0.423 0.650

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 288 140 177 170 831 97 102

N.S.

1 1.00 2.09 1.01 1.28 1.23 6.02 0.70 0.74

time (sec)

N/A 0.072 0.019 0.090 0.286 0.406 2.786 0.448 0.002

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 65 34 48 46 42 34 17

N.S.

1 1.00 1.00 0.52 0.74 0.71 0.65 0.52 0.26

time (sec)

N/A 0.012 0.018 0.050 0.302 0.377 0.333 0.412 0.262

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 143 64 91 88 231 62 47

N.S.

1 1.00 1.59 0.71 1.01 0.98 2.57 0.69 0.52

time (sec)

N/A 0.027 0.017 0.065 0.290 0.351 0.687 0.462 0.002

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 217 94 135 129 478 78 75

N.S.

1 1.00 1.89 0.82 1.17 1.12 4.16 0.68 0.65

time (sec)

N/A 0.049 0.072 0.074 0.274 0.367 1.265 0.450 0.669

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 296 124 174 170 816 91 102

N.S.

1 1.00 2.11 0.89 1.24 1.21 5.83 0.65 0.73

time (sec)

N/A 0.075 0.018 0.092 0.275 0.373 2.689 0.462 0.002

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 177 662 0 437 0 0 -1

N.S.

1 1.00 0.90 3.36 0.00 2.22 0.00 0.00 -0.01

time (sec)

N/A 0.187 0.546 0.166 0.000 0.152 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 134 450 0 398 0 0 -1

N.S.

1 1.00 0.85 2.87 0.00 2.54 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.367 0.115 0.000 0.129 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 57 170 0 355 0 0 -1

N.S.

1 1.00 1.00 2.98 0.00 6.23 0.00 0.00 -0.02

time (sec)

N/A 0.026 0.050 0.257 0.000 0.132 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 57 75 0 146 0 0 52

N.S.

1 1.00 1.00 1.32 0.00 2.56 0.00 0.00 0.91

time (sec)

N/A 0.027 0.037 0.135 0.000 0.104 0.000 0.000 0.390

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 83 217 0 482 0 0 -1

N.S.

1 1.00 0.78 2.05 0.00 4.55 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.143 0.122 0.000 0.141 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 158 489 0 692 0 0 -1

N.S.

1 1.00 0.71 2.21 0.00 3.13 0.00 0.00 -0.00

time (sec)

N/A 0.162 0.622 0.205 0.000 0.151 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 246 0 0 0 0 0 -1

N.S.

1 1.00 2.28 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 1.269 0.039 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 118 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.154 0.034 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 118 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.127 0.035 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 118 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.125 0.033 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 116 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.047 0.125 0.034 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 268 0 0 0 0 0 -1

N.S.

1 1.00 2.44 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 1.374 0.034 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 121 0 0 0 0 0 -1

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.162 0.050 0.000 0.000 0.000 0.000 0.000

[front] [up]